events: Make proximity and scroll events have tools
authorMatthias Clasen <mclasen@redhat.com>
Fri, 14 Feb 2020 21:46:43 +0000 (16:46 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 15 Feb 2020 14:44:34 +0000 (09:44 -0500)
commite5d83eea301cc253f712d5e7731a451ddd616666
tree5b931d94ae393a0cad5890e24f4e9e9147cf5631
parent5f7054862bb8ac1e2c3640b71485d913ce676f58
events: Make proximity and scroll events have tools

The Wayland backend tries to set device tools on these
events, and it was just an oversight that they don't
carry them.
gdk/gdkevents.c
gdk/gdkeventsprivate.h